Monotonicity of entailment - PDFSEARCH.IO - Document Search Engine

Monotonicity of entailment
Results: 23

#	Item
11	Learning Alignments and Leveraging Natural Logic Nathanael Chambers, Daniel Cer, Trond Grenager, David Hall, Chloe Kiddon Bill MacCartney, Marie-Catherine de Marneffe, Daniel Ramage Eric Yeh, Christopher D. Manning Compu Add to Reading List Source URL: dmcer.net Language: English - Date: 2011-07-25 01:42:32 Knowledge Textual entailment Inference Entailment Bitext word alignment Monotonicity of entailment Abductive reasoning Machine learning Alignment Logic Logical consequence Science
12	A Refined Proof Theory for Reasoning About Separation Limin Jia David Walker Princeton University E-mail: {ljia,dpw}@cs.princeton.edu Background. Automated program verification tools Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-11-11 20:30:18 Philosophical logic Proof theory Logic in computer science Propositional calculus Entailment Sequent Linear logic Monotonicity of entailment Intuitionistic logic Logic Mathematical logic Non-classical logic
13	Chapter 3 Sequent Calculus In this chapter we develop the sequent calculus as a formal system for proof search in natural deduction. The sequent calculus was originally introduced by Gentzen [Gen35], primarily as a tech Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2004-01-22 08:01:14 Deduction Natural deduction Curry–Howard correspondence Sequent calculus Entailment Judgment Monotonicity of entailment Soundness Implicational propositional calculus Logic Proof theory Mathematical logic
14	Natural Logic for Textual Inference Bill MacCartney Stanford University [removed] Abstract Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-05-06 21:18:00 Monotonicity of entailment Entailment Inference First-order logic Formal semantics Monotonic function Argument Semantic reasoner Logic Logical consequence Textual entailment
15	NATURAL LANGUAGE INFERENCE A DISSERTATION SUBMITTED TO THE DEPARTMENT OF COMPUTER SCIENCE AND THE COMMITTEE ON GRADUATE STUDIES OF STANFORD UNIVERSITY Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2009-06-05 13:28:45 Textual entailment Entailment Monotonicity of entailment Formal semantics Inference Implicature Argument Logic Logical consequence Science
16	Aligning semantic graphs for textual inference and machine reading Marie-Catherine de Marneffe, Trond Grenager, Bill MacCartney, Daniel Cer, Daniel Ramage, Chlo´e Kiddon, Christopher D. Manning {mcdm, grenager, wcmac, c Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2006-10-09 13:21:20 Textual entailment WordNet Semantics Entailment Bitext word alignment Inference Monotonicity of entailment First-order logic Knowledge representation and reasoning Logic Science Logical consequence
17	Learning Alignments and Leveraging Natural Logic Nathanael Chambers, Daniel Cer, Trond Grenager, David Hall, Chloe Kiddon Bill MacCartney, Marie-Catherine de Marneffe, Daniel Ramage Eric Yeh, Christopher D. Manning Compu Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2007-10-09 18:25:59 Knowledge Textual entailment Inference Entailment Bitext word alignment Monotonicity of entailment Abductive reasoning Machine learning Alignment Logic Logical consequence Science
18	Modeling Semantic Containment and Exclusion in Natural Language Inference Bill MacCartney Stanford University [removed] Abstract Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2008-05-30 18:00:51 Textual entailment Entailment Monotonicity of entailment Inference Generalized quantifier Semantic reasoner Argument Implicature Monotonic function Logic Logical consequence Science
19	Your Computer is Stupid The field of artificial intelligence is progressing. TU Vienna is a major center of this line of research. Several conferences on this topic will be held during the “Vienna Summer of Logic”. T Add to Reading List Source URL: vsl2014.at Language: English - Date: 2014-07-02 08:56:42 Non-classical logic Programming paradigms Logical consequence Reasoning Monotonicity of entailment Monotonic function Intelligence Non-monotonic logic Logic Mathematical analysis Science
20	LNCS[removed]A Linear Logic of Authorization and Knowledge Add to Reading List Source URL: www.ece.cmu.edu Language: English - Date: 2012-06-20 08:58:08 Deduction Logical consequence Propositional calculus Automated theorem proving Sequent calculus Amenable group Monotonicity of entailment Entailment Linear logic Logic Mathematical logic Proof theory

UPDATE